1. Logic-Based Program Synthesis and Transformation
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming -- Congresses,Computational complexity -- Congresses,Logics and Meanings of Programs,برنامهنویسی منطقی -- کنگرهها,پیچیدگی محاسباتی -- کنگرهها
رده :
E-Book
,
